对定理 2.9.3 两端的式子做 L-S 变换, 得
于是有
由 L-S 变换与逆变换的一一对应, 得到
与
也是一一对应的. 证毕.